$\forall$$M$:MsgA, $a$:Id. Dec($a$ in dom($M$.pre))